Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
141	Ship Shock Trial Area Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:21 Formal languages Character encoding String Pi C++ string handling Extensible Storage Engine
142	Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Formal languages Program slicing Recursion ALGOL 68 Formal grammar Regular tree grammar Eval Functional programming
143	Menhir Reference Manual (versionFrançois Pottier Yann Régis-Gianas Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-08-08 15:19:07 Source code Compiling tools Formal languages OCaml Syntax Canonical LR parser GNU bison Yacc Exception handling Parsing Terminal and nonterminal symbols Include directive
144	Categories and their Algebra James A. Overton September 13, 2005 Abstract The goal if this paper is to introduce the notion of a category, along with some basic results, and then to explore work done by Bret Tilson in hi Add to Reading List Source URL: james.overton.ca Language: English - Date: 2016-01-12 09:05:05 Semigroup theory Monoidal categories Algebraic structures Category theory Formal languages Monoid Free monoid Category Functor Homomorphism Initial and terminal objects PRO
145	Second-order ACGs as Hyperedge Replacement Grammars Makoto Kanazawa NII, Tokyo Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:25 Formal languages Categorial grammar Formal grammar Context-free grammar Context-free language
146	Task Description IOI 2000 Beijing China PALIN Add to Reading List Source URL: olympiads.win.tue.nl Language: English - Date: 2001-07-12 09:08:18 Formal languages Palindrome String F Len Longest palindromic substring
147	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
148	Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 2009-11-13 12:16:34 Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages
149	571 Documenta Math. Purity Results for p-Divisible Groups and Abelian Schemes over Regular Bases Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-08-26 14:28:57 Measure theory Lifting theory Model theory Formal languages Invariant subspace Sigma-algebra

UPDATE